#define _CRT_SECURE_NO_WARNINGS
#include<stdio.h>

//int main()
//{
//    int n = 0;
//    scanf("%d", &n);
//    int count[4];
//    int arr[250000];
//    int j = 0;
//    while (n--)
//    {
//        int k = 0;
//        scanf("%d", &k);
//        while (k--)
//        {
//            scanf("%d", &arr[j]);
//            j++;
//        }
//    }
//
//    for (int i = 0; i < j; i++)
//    {
//        count[arr[i]]++;
//    }
//    int num = 0;
//    for (int i = 1; i < n + 1; i++)
//    {
//        if (count[i] == 0)
//            num++;
//    }
//    if (num == 0)
//        printf("Yes\n");
//    else
//    {
//        printf("No\n");
//        printf("%d\n", num);
//    }
//    return 0;
//}


//#include<stdio.h>
//
//int main()
//{
//    int n, m, k = 0;
//    scanf("%d %d %d", &n, &m, &k);
//    int arr[3];
//    for (int i = 0; i < n; i++)
//    {
//        scanf("%d", &arr[i]);
//    }
//    int count = 0;
//    for (int i = 0; i < n; i++)
//    {
//        if (arr[i] >= m && k != 0)
//        {
//            k--;
//            count++;
//        }
//        else if (arr[i] >= m && k == 0)
//        {
//            break;
//        }
//        else if (arr[i] < m && m - arr[i]>0 && k != 0)
//        {
//            m -= arr[i];
//            count++;
//        }
//        else if (arr[i] < m && m - arr[i] <= 0 && k != 0)
//        {
//            k--;
//            count++;
//        }
//        else if (arr[i] < m && m - arr[i] <= 0 && k == 0)
//        {
//            break;
//        }
//    }
//    printf("%d\n", count);
//    return 0;
//}


#include<stdio.h>

int main()
{
    int n = 0;
    long long arr[5];
    for (int i = 0; i < n; i++)
    {
        scanf("%lld", &arr[i]);
    }
    long long max = arr[0];
    int k = 0;
    for (int i = 1; i < n; i++)
    {
        if (arr[i] > max)
        {
            max = arr[i];
            k = i;
        }
    }

    if (max == 1)
    {
        arr[k] = 1 + n;
    }
    else
    {
        arr[k] = max * n;
    }
    int sum = 0;
    for (int i = 0; i < n; i++)
    {
        sum += arr[i];
    }
    printf("%d\n", sum);
    return 0;
}